منابع مشابه
A note on end extensions
We provide an alternative proof of a theorem of P. Clote concerning end extensions of models of Σn-induction, for n ≥ 2.
متن کاملA Note on Coring Extensions
A notion of a coring extension is defined and it is shown to be equivalent to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable functors is illustrated by functors between categories of descent data. A category in which objects are corings and morphisms are coring extensions...
متن کاملA note on simulating substitutions by extensions
We propose a new direct simulation that Extended Frege polynomially simulates Substitution Frege. Our simulation directly produces a treelike proof in Extended Frege.
متن کاملA Note on Square Extensions of Bands
The construction of (associative) square extension of an idempotent groupoid (semigroup) was recently introduced by A. W. Marczak and J. PÃlonka. They proved that all square extensions of a variety of idempotent groupoids also form a variety. In this note we explicitely describe the free objects in semigroup varieties obtained from band varieties by means of associative square extensions, which...
متن کامل0 A note on holomorphic extensions
We give a criterium of holomorphy for some type formal power series. This gives a stronger form of a Rothstein's type extension theorem for a particular ring of holomorphic functions. We consider the set R ⊂ C[[z 1 , z 2 ]], z 1 , z 2 ∈ C k × C m of formal power series of the form f (z) = f (z 1 , z 2) = n P n (z 2)z n 1 where P n is a polynomial in m variables of total degree d 0 P n ≤ C 0 + C...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1994
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700013769